{ .x = REAL(FN32(0x1p-1), FN64(0x1p-1), FN80(0x1p-1), FN128(0x1p-1)), .y = REAL(NAN, NAN, NAN, NAN) },
{ .x = REAL(FN32(0x1.8p-1), FN64(0x1.8p-1), FN80(0x1.8p-1), FN128(0x1.8p-1)), .y = REAL(NAN, NAN, NAN, NAN) },
{ .x = REAL(FN32(0x1.2p0), FN64(0x1.2p0), FN80(0x1.2p0), FN128(0x1.2p0)), .y = REAL(FN32(0x1.facfb2p-2), FN64(0x1.facfb2399e637p-2), FN80(0x1.facfb2399e636e8ep-2), FN128(0x1.facfb2399e636e8d67115de540a7p-2)) },
{ .x = REAL(FN32(0x1.bp0), FN64(0x1.bp0), FN80(0x1.bp0), FN128(0x1.bp0)), .y = REAL(FN32(0x1.1d34cep0), FN64(0x1.1d34ce43b5a66p0), FN80(0x1.1d34ce43b5a65e06p0), FN128(0x1.1d34ce43b5a65e0592b1db4ae662p0)) },
{ .x = REAL(FN32(0x1.44p1), FN64(0x1.44p1), FN80(0x1.44p1), FN128(0x1.44p1)), .y = REAL(FN32(0x1.9490fep0), FN64(0x1.9490fec3efbe6p0), FN80(0x1.9490fec3efbe5988p0), FN128(0x1.9490fec3efbe5988497c1478565bp0)) },
{ .x = REAL(FN32(0x1.e6p1), FN64(0x1.e6p1), FN80(0x1.e6p1), FN128(0x1.e6p1)), .y = REAL(FN32(0x1.0137c8p1), FN64(0x1.0137c718a2252p1), FN80(0x1.0137c718a22521bap1), FN128(0x1.0137c718a22521b91f33b79c01bep1)) },
{ .x = REAL(FN32(0x1.6c8p2), FN64(0x1.6c8p2), FN80(0x1.6c8p2), FN128(0x1.6c8p2)), .y = REAL(FN32(0x1.366628p1), FN64(0x1.366628a7e1dc8p1), FN80(0x1.366628a7e1dc87dcp1), FN128(0x1.366628a7e1dc87db17d378de4b91p1)) },
{ .x = REAL(FN32(0x1.116p3), FN64(0x1.116p3), FN80(0x1.116p3), FN128(0x1.116p3)), .y = REAL(FN32(0x1.6adb24p1), FN64(0x1.6adb23183d5bfp1), FN80(0x1.6adb23183d5bf5fep1), FN128(0x1.6adb23183d5bf5fdc7f572084a8dp1)) },
{ .x = REAL(FN32(0x1.9a1p3), FN64(0x1.9a1p3), FN80(0x1.9a1p3), FN128(0x1.9a1p3)), .y = REAL(FN32(0x1.9f003ep1), FN64(0x1.9f003e63e0c28p1), FN80(0x1.9f003e63e0c2786ep1), FN128(0x1.9f003e63e0c2786e59fb44448f42p1)) },
{ .x = REAL(FN32(0x1.338cp4), FN64(0x1.338cp4), FN80(0x1.338cp4), FN128(0x1.338cp4)), .y = REAL(FN32(0x1.d30254p1), FN64(0x1.d30254d0364f8p1), FN80(0x1.d30254d0364f8052p1), FN128(0x1.d30254d0364f8052d8a7e6dc149bp1)) },
{ .x = REAL(FN32(0x1.cd52p4), FN64(0x1.cd52p4), FN80(0x1.cd52p4), FN128(0x1.cd52p4)), .y = REAL(FN32(0x1.037a7ap2), FN64(0x1.037a7954c970bp2), FN80(0x1.037a7954c970b2a2p2), FN128(0x1.037a7954c970b2a27d2125bc7533p2)) },
{ .x = REAL(FN32(0x1.59fd8p5), FN64(0x1.59fd8p5), FN80(0x1.59fd8p5), FN128(0x1.59fd8p5)), .y = REAL(FN32(0x1.1d705ap2), FN64(0x1.1d705a762526dp2), FN80(0x1.1d705a762526d476p2), FN128(0x1.1d705a762526d475bc938c304f72p2)) },
{ .x = REAL(FN32(0x1.037e2p6), FN64(0x1.037e2p6), FN80(0x1.037e2p6), FN128(0x1.037e2p6)), .y = REAL(FN32(0x1.3764b6p2), FN64(0x1.3764b5eb9ae35p2), FN80(0x1.3764b5eb9ae34e2ap2), FN128(0x1.3764b5eb9ae34e29d859884f5d6bp2)) },
{ .x = REAL(FN32(0x1.853d3p6), FN64(0x1.853d3p6), FN80(0x1.853d3p6), FN128(0x1.853d3p6)), .y = REAL(FN32(0x1.515864p2), FN64(0x1.515864484c9b4p2), FN80(0x1.515864484c9b4374p2), FN128(0x1.515864484c9b4373a9bc567207bcp2)) },
{ .x = REAL(FN32(0x1.23ede4p7), FN64(0x1.23ede4p7), FN80(0x1.23ede4p7), FN128(0x1.23ede4p7)), .y = REAL(FN32(0x1.6b4bc6p2), FN64(0x1.6b4bc5bb02214p2), FN80(0x1.6b4bc5bb02213bc8p2), FN128(0x1.6b4bc5bb02213bc8f95c832d3e3cp2)) },
{ .x = REAL(FN32(0x1.b5e4d6p7), FN64(0x1.b5e4d6p7), FN80(0x1.b5e4d6p7), FN128(0x1.b5e4d6p7)), .y = REAL(FN32(0x1.853f04p2), FN64(0x1.853f04ff844c3p2), FN80(0x1.853f04ff844c2bbp2), FN128(0x1.853f04ff844c2baf83960137538fp2)) },
{ .x = REAL(FN32(0x1.486bap8), FN64(0x1.486ba08p8), FN80(0x1.486ba08p8), FN128(0x1.486ba08p8)), .y = REAL(FN32(0x1.9f3234p2), FN64(0x1.9f32351339c97p2), FN80(0x1.9f32351339c9763ap2), FN128(0x1.9f32351339c97639ea8ac435a079p2)) },
{ .x = REAL(FN32(0x1.eca17p8), FN64(0x1.eca170cp8), FN80(0x1.eca170cp8), FN128(0x1.eca170cp8)), .y = REAL(FN32(0x1.b9255ep2), FN64(0x1.b9255e669d55dp2), FN80(0x1.b9255e669d55d27p2), FN128(0x1.b9255e669d55d26f2c2210f5635p2)) },
{ .x = REAL(FN32(0x1.717914p9), FN64(0x1.7179149p9), FN80(0x1.7179149p9), FN128(0x1.7179149p9)), .y = REAL(FN32(0x1.d31884p2), FN64(0x1.d31884b9de3f9p2), FN80(0x1.d31884b9de3f90d8p2), FN128(0x1.d31884b9de3f90d7ab34cfc16e85p2)) },
{ .x = REAL(FN32(0x1.151adp10), FN64(0x1.151acf6cp10), FN80(0x1.151acf6cp10), FN128(0x1.151acf6cp10)), .y = REAL(FN32(0x1.ed0baap2), FN64(0x1.ed0ba9b7bac97p2), FN80(0x1.ed0ba9b7bac96c28p2), FN128(0x1.ed0ba9b7bac96c2831f848d0caf6p2)) },
{ .x = REAL(FN32(0x1.9fa838p10), FN64(0x1.9fa83722p10), FN80(0x1.9fa83722p10), FN128(0x1.9fa83722p10)), .y = REAL(FN32(0x1.037f68p3), FN64(0x1.037f670eee47ep3), FN80(0x1.037f670eee47e732p3), FN128(0x1.037f670eee47e732fcd861964a81p3)) },
{ .x = REAL(FN32(0x1.37be2ap11), FN64(0x1.37be29598p11), FN80(0x1.37be29598p11), FN128(0x1.37be29598p11)), .y = REAL(FN32(0x1.1078fap3), FN64(0x1.1078f92047733p3), FN80(0x1.1078f9204773318p3), FN128(0x1.1078f92047733180f6733d527107p3)) },
{ .x = REAL(FN32(0x1.d39d3ep11), FN64(0x1.d39d3e064p11), FN80(0x1.d39d3e064p11), FN128(0x1.d39d3e064p11)), .y = REAL(FN32(0x1.1d728cp3), FN64(0x1.1d728b22a44d2p3), FN80(0x1.1d728b22a44d18d8p3), FN128(0x1.1d728b22a44d18d7235def3f78f1p3)) },
{ .x = REAL(FN32(0x1.5eb5eep12), FN64(0x1.5eb5ee84bp12), FN80(0x1.5eb5ee84bp12), FN128(0x1.5eb5ee84bp12)), .y = REAL(FN32(0x1.2a6c1ep3), FN64(0x1.2a6c1d1e581f5p3), FN80(0x1.2a6c1d1e581f578ap3), FN128(0x1.2a6c1d1e581f578a18bd74ee8d5bp3)) },
{ .x = REAL(FN32(0x1.070872p13), FN64(0x1.070872e384p13), FN80(0x1.070872e384p13), FN128(0x1.070872e384p13)), .y = REAL(FN32(0x1.3765aep3), FN64(0x1.3765af1716271p3), FN80(0x1.3765af17162715dep3), FN128(0x1.3765af17162715deca833070c9aep3)) },
{ .x = REAL(FN32(0x1.8a8cacp13), FN64(0x1.8a8cac5546p13), FN80(0x1.8a8cac5546p13), FN128(0x1.8a8cac5546p13)), .y = REAL(FN32(0x1.445f42p3), FN64(0x1.445f410e83631p3), FN80(0x1.445f410e83630d9cp3), FN128(0x1.445f410e83630d9ca6e0d72baf1dp3)) },
{ .x = REAL(FN32(0x1.27e982p14), FN64(0x1.27e9813ff48p14), FN80(0x1.27e9813ff48p14), FN128(0x1.27e9813ff48p14)), .y = REAL(FN32(0x1.5158d4p3), FN64(0x1.5158d3055aef2p3), FN80(0x1.5158d3055aef1f02p3), FN128(0x1.5158d3055aef1f014124791dd52fp3)) },
{ .x = REAL(FN32(0x1.bbde42p14), FN64(0x1.bbde41dfeecp14), FN80(0x1.bbde41dfeecp14), FN128(0x1.bbde41dfeecp14)), .y = REAL(FN32(0x1.5e5264p3), FN64(0x1.5e5264fbeff42p3), FN80(0x1.5e5264fbeff41f62p3), FN128(0x1.5e5264fbeff41f617aa9ecdefd95p3)) },
{ .x = REAL(FN32(0x1.4ce6b2p15), FN64(0x1.4ce6b167f31p15), FN80(0x1.4ce6b167f31p15), FN128(0x1.4ce6b167f31p15)), .y = REAL(FN32(0x1.6b4bf8p3), FN64(0x1.6b4bf6f26767cp3), FN80(0x1.6b4bf6f26767c2dep3), FN128(0x1.6b4bf6f26767c2dd8e246e66976ep3)) },
{ .x = REAL(FN32(0x1.f35a0ap15), FN64(0x1.f35a0a1bec98p15), FN80(0x1.f35a0a1bec98p15), FN128(0x1.f35a0a1bec98p15)), .y = REAL(FN32(0x1.784588p3), FN64(0x1.784588e8d1b74p3), FN80(0x1.784588e8d1b73d1p3), FN128(0x1.784588e8d1b73d10f18f527f4ccbp3)) },
{ .x = REAL(FN32(0x1.768388p16), FN64(0x1.76838794f172p16), FN80(0x1.76838794f172p16), FN128(0x1.76838794f172p16)), .y = REAL(FN32(0x1.853f1ap3), FN64(0x1.853f1adf362f9p3), FN80(0x1.853f1adf362f887ap3), FN128(0x1.853f1adf362f88796992afa807f3p3)) },
{ .x = REAL(FN32(0x1.18e2a6p17), FN64(0x1.18e2a5afb5158p17), FN80(0x1.18e2a5afb5158p17), FN128(0x1.18e2a5afb5158p17)), .y = REAL(FN32(0x1.9238acp3), FN64(0x1.9238acd5980f5p3), FN80(0x1.9238acd5980f4d4ep3), FN128(0x1.9238acd5980f4d4ed0f6d8ba9ca1p3)) },
{ .x = REAL(FN32(0x1.a553f8p17), FN64(0x1.a553f8878fa04p17), FN80(0x1.a553f8878fa04p17), FN128(0x1.a553f8878fa04p17)), .y = REAL(FN32(0x1.9f323ep3), FN64(0x1.9f323ecbf8c7cp3), FN80(0x1.9f323ecbf8c7b9e2p3), FN128(0x1.9f323ecbf8c7b9e2dc296f8bb297p3)) },
{ .x = REAL(FN32(0x1.3bfefap18), FN64(0x1.3bfefa65abb83p18), FN80(0x1.3bfefa65abb83p18), FN128(0x1.3bfefa65abb83p18)), .y = REAL(FN32(0x1.ac2bdp3), FN64(0x1.ac2bd0c258fcep3), FN80(0x1.ac2bd0c258fce2ccp3), FN128(0x1.ac2bd0c258fce2cba20b51bd49p3)) },
{ .x = REAL(FN32(0x1.d9fe78p18), FN64(0x1.d9fe779881944p18), FN80(0x1.d9fe7798819448p18), FN128(0x1.d9fe7798819448p18)), .y = REAL(FN32(0x1.b92562p3), FN64(0x1.b92562b8b8f7bp3), FN80(0x1.b92562b8b8f7b4bep3), FN128(0x1.b92562b8b8f7b4bd9e794436c9dp3)) },
{ .x = REAL(FN32(0x1.637edap19), FN64(0x1.637ed9b2612f3p19), FN80(0x1.637ed9b2612f36p19), FN128(0x1.637ed9b2612f36p19)), .y = REAL(FN32(0x1.c61ef4p3), FN64(0x1.c61ef4af18d8ap3), FN80(0x1.c61ef4af18d898ecp3), FN128(0x1.c61ef4af18d898ec96b4b9ff12eep3)) },
{ .x = REAL(FN32(0x1.0a9f24p20), FN64(0x1.0a9f2345c8e37p20), FN80(0x1.0a9f2345c8e3688p20), FN128(0x1.0a9f2345c8e3688p20)), .y = REAL(FN32(0x1.d31886p3), FN64(0x1.d31886a578adfp3), FN80(0x1.d31886a578adf6fep3), FN128(0x1.d31886a578adf6fdc5f665d9a2d6p3)) },
{ .x = REAL(FN32(0x1.8feeb4p20), FN64(0x1.8feeb4e8ad552p20), FN80(0x1.8feeb4e8ad551ccp20), FN128(0x1.8feeb4e8ad551ccp20)), .y = REAL(FN32(0x1.e01218p3), FN64(0x1.e012189bd87e3p3), FN80(0x1.e012189bd87e35e6p3), FN128(0x1.e012189bd87e35e54690342041f5p3)) },
{ .x = REAL(FN32(0x1.2bf308p21), FN64(0x1.2bf307ae81ffdp21), FN80(0x1.2bf307ae81ffd59p21), FN128(0x1.2bf307ae81ffd59p21)), .y = REAL(FN32(0x1.ed0baap3), FN64(0x1.ed0baa92384c3p3), FN80(0x1.ed0baa92384c2e1p3), FN128(0x1.ed0baa92384c2e0f95fbdadd36cfp3)) },
{ .x = REAL(FN32(0x1.c1ec8cp21), FN64(0x1.c1ec8b85c2ffcp21), FN80(0x1.c1ec8b85c2ffc058p21), FN128(0x1.c1ec8b85c2ffc058p21)), .y = REAL(FN32(0x1.fa053cp3), FN64(0x1.fa053c8898192p3), FN80(0x1.fa053c889819233cp3), FN128(0x1.fa053c889819233b24e1378be23cp3)) },
{ .x = REAL(FN32(0x1.517168p22), FN64(0x1.517168a4523fdp22), FN80(0x1.517168a4523fd042p22), FN128(0x1.517168a4523fd042p22)), .y = REAL(FN32(0x1.037f68p4), FN64(0x1.037f673f7bf2dp4), FN80(0x1.037f673f7bf2d2a6p4), FN128(0x1.037f673f7bf2d2a567fe56245a34p4)) },
{ .x = REAL(FN32(0x1.fa2a1cp22), FN64(0x1.fa2a1cf67b5fcp22), FN80(0x1.fa2a1cf67b5fb864p22), FN128(0x1.fa2a1cf67b5fb863p22)), .y = REAL(FN32(0x1.09fc3p4), FN64(0x1.09fc303aabd9p4), FN80(0x1.09fc303aabd8fa18p4), FN128(0x1.09fc303aabd8fa18d209dcf9b5cep4)) },
{ .x = REAL(FN32(0x1.7b9f96p23), FN64(0x1.7b9f95b8dc87dp23), FN80(0x1.7b9f95b8dc87ca4ap23), FN128(0x1.7b9f95b8dc87ca4a4p23)), .y = REAL(FN32(0x1.1078fap4), FN64(0x1.1078f935dbbf1p4), FN80(0x1.1078f935dbbf162ep4), FN128(0x1.1078f935dbbf162dd369beaf0006p4)) },
{ .x = REAL(FN32(0x1.1cb7bp24), FN64(0x1.1cb7b04aa565dp24), FN80(0x1.1cb7b04aa565d7b8p24), FN128(0x1.1cb7b04aa565d7b7bp24)), .y = REAL(FN32(0x1.16f5c2p4), FN64(0x1.16f5c2310ba53p4), FN80(0x1.16f5c2310ba52d36p4), FN128(0x1.16f5c2310ba52d3550ef1e1d3a4dp4)) },
{ .x = REAL(FN32(0x1.ab1388p24), FN64(0x1.ab13886ff818cp24), FN80(0x1.ab13886ff818c394p24), FN128(0x1.ab13886ff818c39388p24)), .y = REAL(FN32(0x1.1d728cp4), FN64(0x1.1d728b2c3b8b4p4), FN80(0x1.1d728b2c3b8b41fep4), FN128(0x1.1d728b2c3b8b41fde92fd1ddaa5fp4)) },
{ .x = REAL(FN32(0x1.404ea6p25), FN64(0x1.404ea653fa129p25), FN80(0x1.404ea653fa1292aep25), FN128(0x1.404ea653fa1292aea6p25)), .y = REAL(FN32(0x1.23ef54p4), FN64(0x1.23ef54276b715p4), FN80(0x1.23ef54276b7155c6p4), FN128(0x1.23ef54276b7155c6ff191cdf16b3p4)) },
{ .x = REAL(FN32(0x1.e075fap25), FN64(0x1.e075f97df71bep25), FN80(0x1.e075f97df71bdc06p25), FN128(0x1.e075f97df71bdc05f9p25)), .y = REAL(FN32(0x1.2a6c1ep4), FN64(0x1.2a6c1d229b577p4), FN80(0x1.2a6c1d229b57691ep4), FN128(0x1.2a6c1d229b57691e85bf1ce0f34bp4)) },
{ .x = REAL(FN32(0x1.68587cp26), FN64(0x1.68587b1e7954ep26), FN80(0x1.68587b1e7954e504p26), FN128(0x1.68587b1e7954e5047acp26)), .y = REAL(FN32(0x1.30e8e6p4), FN64(0x1.30e8e61dcb3d8p4), FN80(0x1.30e8e61dcb3d7c44p4), FN128(0x1.30e8e61dcb3d7c4393d56d54c8eep4)) },
{ .x = REAL(FN32(0x1.0e425cp27), FN64(0x1.0e425c56daffbp27), FN80(0x1.0e425c56daffabc4p27), FN128(0x1.0e425c56daffabc35c1p27)), .y = REAL(FN32(0x1.3765bp4), FN64(0x1.3765af18fb239p4), FN80(0x1.3765af18fb238f52p4), FN128(0x1.3765af18fb238f523372fdfb4625p4)) },
{ .x = REAL(FN32(0x1.95638ap27), FN64(0x1.95638a82487f8p27), FN80(0x1.95638a82487f81a6p27), FN128(0x1.95638a82487f81a50a18p27)), .y = REAL(FN32(0x1.3de278p4), FN64(0x1.3de278142b09ap4), FN80(0x1.3de278142b09a256p4), FN128(0x1.3de278142b09a256dadae40d9c1p4)) },
{ .x = REAL(FN32(0x1.300aa8p28), FN64(0x1.300aa7e1b65fap28), FN80(0x1.300aa7e1b65fa13cp28), FN128(0x1.300aa7e1b65fa13bc792p28)), .y = REAL(FN32(0x1.445f42p4), FN64(0x1.445f410f5aefbp4), FN80(0x1.445f410f5aefb558p4), FN128(0x1.445f410f5aefb55713f20c88c411p4)) },
{ .x = REAL(FN32(0x1.c80ffcp28), FN64(0x1.c80ffbd2918f7p28), FN80(0x1.c80ffbd2918f71dap28), FN128(0x1.c80ffbd2918f71d9ab5bp28)), .y = REAL(FN32(0x1.4adc0ap4), FN64(0x1.4adc0a0a8ad5dp4), FN80(0x1.4adc0a0a8ad5c856p4), FN128(0x1.4adc0a0a8ad5c85554e55287d7acp4)) },
{ .x = REAL(FN32(0x1.560bfcp29), FN64(0x1.560bfcdded2b9p29), FN80(0x1.560bfcdded2b9564p29), FN128(0x1.560bfcdded2b956340844p29)), .y = REAL(FN32(0x1.5158d2p4), FN64(0x1.5158d305babbep4), FN80(0x1.5158d305babbdb52p4), FN128(0x1.5158d305babbdb52b5c8a5a51b19p4)) },
{ .x = REAL(FN32(0x1.0088fep30), FN64(0x1.0088fda671e0bp30), FN80(0x1.0088fda671e0b00ap30), FN128(0x1.0088fda671e0b00a70633p30)), .y = REAL(FN32(0x1.57d59cp4), FN64(0x1.57d59c00eaa1fp4), FN80(0x1.57d59c00eaa1ee5p4), FN128(0x1.57d59c00eaa1ee4fb316a9419038p4)) },
{ .x = REAL(FN32(0x1.80cd7cp30), FN64(0x1.80cd7c79aad11p30), FN80(0x1.80cd7c79aad1081p30), FN128(0x1.80cd7c79aad1080fa894c8p30)), .y = REAL(FN32(0x1.5e5264p4), FN64(0x1.5e5264fc1a88p4), FN80(0x1.5e5264fc1a88014cp4), FN128(0x1.5e5264fc1a88014c842250a4c618p4)) },
{ .x = REAL(FN32(0x1.209a1ep31), FN64(0x1.209a1d5b401ccp31), FN80(0x1.209a1d5b401cc60cp31), FN128(0x1.209a1d5b401cc60bbe6f96p31)), .y = REAL(FN32(0x1.64cf2ep4), FN64(0x1.64cf2df74a6e1p4), FN80(0x1.64cf2df74a6e144ap4), FN128(0x1.64cf2df74a6e1449418240d218cp4)) },
{ .x = REAL(FN32(0x1.b0e72cp31), FN64(0x1.b0e72c08e02b3p31), FN80(0x1.b0e72c08e02b2912p31), FN128(0x1.b0e72c08e02b29119da761p31)), .y = REAL(FN32(0x1.6b4bf6p4), FN64(0x1.6b4bf6f27a542p4), FN80(0x1.6b4bf6f27a542746p4), FN128(0x1.6b4bf6f27a542745f6241875b116p4)) },
{ .x = REAL(FN32(0x1.44ad62p32), FN64(0x1.44ad6106a8206p32), FN80(0x1.44ad6106a8205ecep32), FN128(0x1.44ad6106a8205ecd363d88cp32)), .y = REAL(FN32(0x1.71c8cp4), FN64(0x1.71c8bfedaa3a4p4), FN80(0x1.71c8bfedaa3a3a42p4), FN128(0x1.71c8bfedaa3a3a42a6e33a86bdbap4)) },
{ .x = REAL(FN32(0x1.e70412p32), FN64(0x1.e7041189fc309p32), FN80(0x1.e7041189fc308e34p32), FN128(0x1.e7041189fc308e33d15c4d2p32)), .y = REAL(FN32(0x1.784588p4), FN64(0x1.784588e8da205p4), FN80(0x1.784588e8da204d4p4), FN128(0x1.784588e8da204d3f55e844c86fd5p4)) },
{ .x = REAL(FN32(0x1.6d430ep33), FN64(0x1.6d430d277d247p33), FN80(0x1.6d430d277d246aa6p33), FN128(0x1.6d430d277d246aa6dd0539d8p33)), .y = REAL(FN32(0x1.7ec252p4), FN64(0x1.7ec251e40a066p4), FN80(0x1.7ec251e40a06603cp4), FN128(0x1.7ec251e40a06603c0428d2adf9b3p4)) },
{ .x = REAL(FN32(0x1.11f24ap34), FN64(0x1.11f249dd9ddb5p34), FN80(0x1.11f249dd9ddb4ffep34), FN128(0x1.11f249dd9ddb4ffd25c3eb62p34)), .y = REAL(FN32(0x1.853f1ap4), FN64(0x1.853f1adf39ec7p4), FN80(0x1.853f1adf39ec7338p4), FN128(0x1.853f1adf39ec7338b2120cdc553ep4)) },
{ .x = REAL(FN32(0x1.9aeb6ep34), FN64(0x1.9aeb6ecc6cc8fp34), FN80(0x1.9aeb6ecc6cc8f7fcp34), FN128(0x1.9aeb6ecc6cc8f7fbb8a5e113p34)), .y = REAL(FN32(0x1.8bbbe4p4), FN64(0x1.8bbbe3da69d28p4), FN80(0x1.8bbbe3da69d28636p4), FN128(0x1.8bbbe3da69d286355fd4772b0df9p4)) },
{ .x = REAL(FN32(0x1.343094p35), FN64(0x1.343093195196cp35), FN80(0x1.343093195196b9fcp35), FN128(0x1.343093195196b9fcca7c68ce4p35)), .y = REAL(FN32(0x1.9238acp4), FN64(0x1.9238acd599b8ap4), FN80(0x1.9238acd599b89932p4), FN128(0x1.9238acd599b899320d85a1882902p4)) },
{ .x = REAL(FN32(0x1.ce48dcp35), FN64(0x1.ce48dca5fa621p35), FN80(0x1.ce48dca5fa6216fcp35), FN128(0x1.ce48dca5fa6216fb2fba9d356p35)), .y = REAL(FN32(0x1.98b576p4), FN64(0x1.98b575d0c99ebp4), FN80(0x1.98b575d0c99eac2ep4), FN128(0x1.98b575d0c99eac2ebb2f2140fdf5p4)) },
{ .x = REAL(FN32(0x1.5ab6a6p36), FN64(0x1.5ab6a57c7bc99p36), FN80(0x1.5ab6a57c7bc9913cp36), FN128(0x1.5ab6a57c7bc9913c63cbf5e808p36)), .y = REAL(FN32(0x1.9f323ep4), FN64(0x1.9f323ecbf984cp4), FN80(0x1.9f323ecbf984bf2cp4), FN128(0x1.9f323ecbf984bf2b68d538b0d034p4)) },
{ .x = REAL(FN32(0x1.0408fcp37), FN64(0x1.0408fc1d5cd73p37), FN80(0x1.0408fc1d5cd72ceep37), FN128(0x1.0408fc1d5cd72ced4ad8f86e06p37)), .y = REAL(FN32(0x1.a5af08p4), FN64(0x1.a5af07c7296adp4), FN80(0x1.a5af07c7296ad228p4), FN128(0x1.a5af07c7296ad2281679cc71f694p4)) },
{ .x = REAL(FN32(0x1.860d7ap37), FN64(0x1.860d7a2c0b42cp37), FN80(0x1.860d7a2c0b42c364p37), FN128(0x1.860d7a2c0b42c363f04574a509p37)), .y = REAL(FN32(0x1.ac2bdp4), FN64(0x1.ac2bd0c25950ep4), FN80(0x1.ac2bd0c25950e524p4), FN128(0x1.ac2bd0c25950e524c41db3e57b3cp4)) },
{ .x = REAL(FN32(0x1.248a1cp38), FN64(0x1.248a1ba108721p38), FN80(0x1.248a1ba10872128ap38), FN128(0x1.248a1ba10872128af434177bc6cp38)), .y = REAL(FN32(0x1.b2a89ap4), FN64(0x1.b2a899bd8936fp4), FN80(0x1.b2a899bd8936f822p4), FN128(0x1.b2a899bd8936f82171c14ec4b803p4)) },
{ .x = REAL(FN32(0x1.b6cf2ap38), FN64(0x1.b6cf29718cab2p38), FN80(0x1.b6cf29718cab1bdp38), FN128(0x1.b6cf29718cab1bd06e4e2339aa2p38)), .y = REAL(FN32(0x1.b92562p4), FN64(0x1.b92562b8b91d1p4), FN80(0x1.b92562b8b91d0b1ep4), FN128(0x1.b92562b8b91d0b1e1f64c79af14bp4)) },
{ .x = REAL(FN32(0x1.491b6p39), FN64(0x1.491b5f1529805p39), FN80(0x1.491b5f15298054dcp39), FN128(0x1.491b5f15298054dc52ba9a6b3f98p39)), .y = REAL(FN32(0x1.bfa22cp4), FN64(0x1.bfa22bb3e9032p4), FN80(0x1.bfa22bb3e9031e1ap4), FN128(0x1.bfa22bb3e9031e1acd083150b73ep4)) },
{ .x = REAL(FN32(0x1.eda90ep39), FN64(0x1.eda90e9fbe408p39), FN80(0x1.eda90e9fbe407f4ap39), FN128(0x1.eda90e9fbe407f4a7c17e7a0df64p39)), .y = REAL(FN32(0x1.c61ef4p4), FN64(0x1.c61ef4af18e93p4), FN80(0x1.c61ef4af18e93118p4), FN128(0x1.c61ef4af18e931177aab944d665fp4)) },
{ .x = REAL(FN32(0x1.723ecap40), FN64(0x1.723ecaf7ceb06p40), FN80(0x1.723ecaf7ceb05f78p40), FN128(0x1.723ecaf7ceb05f77dd11edb8a78bp40)), .y = REAL(FN32(0x1.cc9bbep4), FN64(0x1.cc9bbdaa48cf4p4), FN80(0x1.cc9bbdaa48cf4414p4), FN128(0x1.cc9bbdaa48cf4414284ef44d27cfp4)) },
{ .x = REAL(FN32(0x1.15af18p41), FN64(0x1.15af1839db044p41), FN80(0x1.15af1839db04479ap41), FN128(0x1.15af1839db044799e5cd724a7da8p41)), .y = REAL(FN32(0x1.d31886p4), FN64(0x1.d31886a578b55p4), FN80(0x1.d31886a578b5571p4), FN128(0x1.d31886a578b55710d5f252f8f162p4)) },
{ .x = REAL(FN32(0x1.a086a4p41), FN64(0x1.a086a456c8867p41), FN80(0x1.a086a456c8866b66p41), FN128(0x1.a086a456c8866b66d8b42b6fbc7cp41)), .y = REAL(FN32(0x1.d9955p4), FN64(0x1.d9954fa0a89b7p4), FN80(0x1.d9954fa0a89b6a0ep4), FN128(0x1.d9954fa0a89b6a0d8395b10da22p4)) },
{ .x = REAL(FN32(0x1.3864fcp42), FN64(0x1.3864fb411664dp42), FN80(0x1.3864fb411664d08ep42), FN128(0x1.3864fb411664d08d22872093cd5dp42)), .y = REAL(FN32(0x1.e01218p4), FN64(0x1.e012189bd8818p4), FN80(0x1.e012189bd8817d0ap4), FN128(0x1.e012189bd8817d0a31390edf2b63p4)) },
{ .x = REAL(FN32(0x1.d49778p42), FN64(0x1.d49778e1a1974p42), FN80(0x1.d49778e1a19738d4p42), FN128(0x1.d49778e1a19738d3b3cab0ddb40cp42)), .y = REAL(FN32(0x1.e68ee2p4), FN64(0x1.e68ee19708679p4), FN80(0x1.e68ee19708679006p4), FN128(0x1.e68ee19708679006dedc6c92dbffp4)) },
{ .x = REAL(FN32(0x1.5f719ap43), FN64(0x1.5f719aa939317p43), FN80(0x1.5f719aa939316a9ep43), FN128(0x1.5f719aa939316a9ec6d804a64709p43)), .y = REAL(FN32(0x1.ed0baap4), FN64(0x1.ed0baa92384dap4), FN80(0x1.ed0baa92384da304p4), FN128(0x1.ed0baa92384da3038c7fca3948c1p4)) },
{ .x = REAL(FN32(0x1.079534p44), FN64(0x1.079533feeae51p44), FN80(0x1.079533feeae50ff8p44), FN128(0x1.079533feeae50ff71522037cb547p44)), .y = REAL(FN32(0x1.f38874p4), FN64(0x1.f388738d6833bp4), FN80(0x1.f388738d6833b6p4), FN128(0x1.f388738d6833b6003a2327d9d03fp4)) },
{ .x = REAL(FN32(0x1.8b5fcep44), FN64(0x1.8b5fcdfe60579p44), FN80(0x1.8b5fcdfe605797f2p44), FN128(0x1.8b5fcdfe605797f29fb3053b0feap44)), .y = REAL(FN32(0x1.fa053cp4), FN64(0x1.fa053c889819dp4), FN80(0x1.fa053c889819c8fcp4), FN128(0x1.fa053c889819c8fce7c68577b8f4p4)) },
{ .x = REAL(FN32(0x1.2887dap45), FN64(0x1.2887da7ec841bp45), FN80(0x1.2887da7ec841b1f6p45), FN128(0x1.2887da7ec841b1f5f7c643ec4bfp45)), .y = REAL(FN32(0x1.004102p5), FN64(0x1.004102c1e3fffp5), FN80(0x1.004102c1e3ffedfcp5), FN128(0x1.004102c1e3ffedfccab4f18a3bc5p5)) },
{ .x = REAL(FN32(0x1.bccbc8p45), FN64(0x1.bccbc7be2c629p45), FN80(0x1.bccbc7be2c628afp45), FN128(0x1.bccbc7be2c628af0f3a965e271e7p45)), .y = REAL(FN32(0x1.037f68p5), FN64(0x1.037f673f7bf2fp5), FN80(0x1.037f673f7bf2f77cp5), FN128(0x1.037f673f7bf2f77b2186a05858cfp5)) },
{ .x = REAL(FN32(0x1.4d98d6p46), FN64(0x1.4d98d5cea149fp46), FN80(0x1.4d98d5cea149e834p46), FN128(0x1.4d98d5cea149e834b6bf0c69d56dp46)), .y = REAL(FN32(0x1.06bdccp5), FN64(0x1.06bdcbbd13e6p5), FN80(0x1.06bdcbbd13e600fap5), FN128(0x1.06bdcbbd13e600f978584f265867p5)) },
{ .x = REAL(FN32(0x1.f4654p46), FN64(0x1.f46540b5f1eeep46), FN80(0x1.f46540b5f1eedc5p46), FN128(0x1.f46540b5f1eedc4f121e929ec024p46)), .y = REAL(FN32(0x1.09fc3p5), FN64(0x1.09fc303aabd91p5), FN80(0x1.09fc303aabd90a78p5), FN128(0x1.09fc303aabd90a77cf29fdf44aeap5)) },
{ .x = REAL(FN32(0x1.774bfp47), FN64(0x1.774bf08875732p47), FN80(0x1.774bf0887573253cp47), FN128(0x1.774bf0887573253b4d96edf7101bp47)), .y = REAL(FN32(0x1.0d3a94p5), FN64(0x1.0d3a94b843cc1p5), FN80(0x1.0d3a94b843cc13f6p5), FN128(0x1.0d3a94b843cc13f625fbacc2379bp5)) },
{ .x = REAL(FN32(0x1.1978f4p48), FN64(0x1.1978f46658166p48), FN80(0x1.1978f46658165becp48), FN128(0x1.1978f46658165bec7a3132794c14p48)), .y = REAL(FN32(0x1.1078fap5), FN64(0x1.1078f935dbbf2p5), FN80(0x1.1078f935dbbf1d74p5), FN128(0x1.1078f935dbbf1d747ccd5b9021b7p5)) },
{ .x = REAL(FN32(0x1.a6356ep48), FN64(0x1.a6356e9984219p48), FN80(0x1.a6356e99842189e2p48), FN128(0x1.a6356e99842189e2b749cbb5f21fp48)), .y = REAL(FN32(0x1.13b75ep5), FN64(0x1.13b75db373b22p5), FN80(0x1.13b75db373b226f2p5), FN128(0x1.13b75db373b226f2d39f0a5e0aacp5)) },
{ .x = REAL(FN32(0x1.3ca812p49), FN64(0x1.3ca812f323192p49), FN80(0x1.3ca812f32319276ap49), FN128(0x1.3ca812f32319276a097758c87597p49)), .y = REAL(FN32(0x1.16f5c2p5), FN64(0x1.16f5c2310ba53p5), FN80(0x1.16f5c2310ba53072p5), FN128(0x1.16f5c2310ba530712a70b92bf31fp5)) },
{ .x = REAL(FN32(0x1.dafc1cp49), FN64(0x1.dafc1c6cb4a5cp49), FN80(0x1.dafc1c6cb4a5bb2p49), FN128(0x1.dafc1c6cb4a5bb1f0e33052cb062p49)), .y = REAL(FN32(0x1.1a3426p5), FN64(0x1.1a3426aea3984p5), FN80(0x1.1a3426aea39839fp5), FN128(0x1.1a3426aea39839ef814267f9db58p5)) },
{ .x = REAL(FN32(0x1.643d16p50), FN64(0x1.643d1551877c5p50), FN80(0x1.643d1551877c4c58p50), FN128(0x1.643d1551877c4c574aa643e1844ap50)), .y = REAL(FN32(0x1.1d728cp5), FN64(0x1.1d728b2c3b8b4p5), FN80(0x1.1d728b2c3b8b436ep5), FN128(0x1.1d728b2c3b8b436dd81416c7c377p5)) },
{ .x = REAL(FN32(0x1.0b2ddp51), FN64(0x1.0b2dcffd259d4p51), FN80(0x1.0b2dcffd259d3942p51), FN128(0x1.0b2dcffd259d394177fcb2e92337p51)), .y = REAL(FN32(0x1.20b0fp5), FN64(0x1.20b0efa9d37e5p5), FN80(0x1.20b0efa9d37e4cecp5), FN128(0x1.20b0efa9d37e4cec2ee5c595ab8ap5)) },
{ .x = REAL(FN32(0x1.90c4b8p51), FN64(0x1.90c4b7fbb86bdp51), FN80(0x1.90c4b7fbb86bd5e2p51), FN128(0x1.90c4b7fbb86bd5e233fb0c5db4d3p51)), .y = REAL(FN32(0x1.23ef54p5), FN64(0x1.23ef54276b715p5), FN80(0x1.23ef54276b71566ap5), FN128(0x1.23ef54276b71566a85b774639399p5)) },
{ .x = REAL(FN32(0x1.2c938ap52), FN64(0x1.2c9389fcca50ep52), FN80(0x1.2c9389fcca50e06ap52), FN128(0x1.2c9389fcca50e069a6fc4946479ep52)), .y = REAL(FN32(0x1.272db8p5), FN64(0x1.272db8a503646p5), FN80(0x1.272db8a503645fe8p5), FN128(0x1.272db8a503645fe8dc8923317ba5p5)) },
{ .x = REAL(FN32(0x1.c2dd4ep52), FN64(0x1.c2dd4efb2f795p52), FN80(0x1.c2dd4efb2f79509ep52), FN128(0x1.c2dd4efb2f79509e7a7a6de96b6dp52)), .y = REAL(FN32(0x1.2a6c1ep5), FN64(0x1.2a6c1d229b577p5), FN80(0x1.2a6c1d229b576968p5), FN128(0x1.2a6c1d229b576967335ad1ff63bp5)) },
{ .x = REAL(FN32(0x1.5225fcp53), FN64(0x1.5225fb3c639bp53), FN80(0x1.5225fb3c639afc76p53), FN128(0x1.5225fb3c639afc76dbdbd26f1092p53)), .y = REAL(FN32(0x1.2daa82p5), FN64(0x1.2daa81a0334a7p5), FN80(0x1.2daa81a0334a72e6p5), FN128(0x1.2daa81a0334a72e58a2c80cd4bbap5)) },
{ .x = REAL(FN32(0x1.fb38f8p53), FN64(0x1.fb38f8da95688p53), FN80(0x1.fb38f8da95687ab2p53), FN128(0x1.fb38f8da95687ab249c9bba698dbp53)), .y = REAL(FN32(0x1.30e8e6p5), FN64(0x1.30e8e61dcb3d8p5), FN80(0x1.30e8e61dcb3d7c64p5), FN128(0x1.30e8e61dcb3d7c63e0fe2f9b33c5p5)) },
{ .x = REAL(FN32(0x1.7c6abap54), FN64(0x1.7c6abaa3f00e6p54), FN80(0x1.7c6abaa3f00e5c06p54), FN128(0x1.7c6abaa3f00e5c05b7574cbcf2a4p54)), .y = REAL(FN32(0x1.34274ap5), FN64(0x1.34274a9b63308p5), FN80(0x1.34274a9b633085e2p5), FN128(0x1.34274a9b633085e237cfde691bcfp5)) },
{ .x = REAL(FN32(0x1.1d500cp55), FN64(0x1.1d500bfaf40acp55), FN80(0x1.1d500bfaf40ac504p55), FN128(0x1.1d500bfaf40ac5044981798db5fbp55)), .y = REAL(FN32(0x1.3765bp5), FN64(0x1.3765af18fb239p5), FN80(0x1.3765af18fb238f6p5), FN128(0x1.3765af18fb238f608ea18d3703dap5)) },
{ .x = REAL(FN32(0x1.abf812p55), FN64(0x1.abf811f86e102p55), FN80(0x1.abf811f86e102786p55), FN128(0x1.abf811f86e1027866e42365490f9p55)), .y = REAL(FN32(0x1.3aa414p5), FN64(0x1.3aa413969316ap5), FN80(0x1.3aa41396931698dep5), FN128(0x1.3aa41396931698dee5733c04ebe4p5)) },
{ .x = REAL(FN32(0x1.40fa0ep56), FN64(0x1.40fa0d7a528c2p56), FN80(0x1.40fa0d7a528c1da4p56), FN128(0x1.40fa0d7a528c1da4d2b1a8bf6cbbp56)), .y = REAL(FN32(0x1.3de278p5), FN64(0x1.3de278142b09ap5), FN80(0x1.3de278142b09a25ep5), FN128(0x1.3de278142b09a25d3c44ead2d3eep5)) },
{ .x = REAL(FN32(0x1.e17714p56), FN64(0x1.e17714377bd23p56), FN80(0x1.e17714377bd22c78p56), FN128(0x1.e17714377bd22c773c0a7d1f2318p56)), .y = REAL(FN32(0x1.4120dcp5), FN64(0x1.4120dc91c2fcbp5), FN80(0x1.4120dc91c2fcabdcp5), FN128(0x1.4120dc91c2fcabdb931699a0bbf8p5)) },
{ .x = REAL(FN32(0x1.69195p57), FN64(0x1.69194f299cddap57), FN80(0x1.69194f299cdda15ap57), FN128(0x1.69194f299cdda1596d07ddd75a52p57)), .y = REAL(FN32(0x1.445f42p5), FN64(0x1.445f410f5aefbp5), FN80(0x1.445f410f5aefb55ap5), FN128(0x1.445f410f5aefb559e9e8486ea403p5)) },
{ .x = REAL(FN32(0x1.0ed2fcp58), FN64(0x1.0ed2fb5f35a64p58), FN80(0x1.0ed2fb5f35a63904p58), FN128(0x1.0ed2fb5f35a6390311c5e66183bdp58)), .y = REAL(FN32(0x1.479da6p5), FN64(0x1.479da58cf2e2cp5), FN80(0x1.479da58cf2e2bed8p5), FN128(0x1.479da58cf2e2bed840b9f73c8c0dp5)) },
{ .x = REAL(FN32(0x1.963c7ap58), FN64(0x1.963c790ed0795p58), FN80(0x1.963c790ed0795584p58), FN128(0x1.963c790ed07955849aa8d992459cp58)), .y = REAL(FN32(0x1.4adc0ap5), FN64(0x1.4adc0a0a8ad5dp5), FN80(0x1.4adc0a0a8ad5c856p5), FN128(0x1.4adc0a0a8ad5c856978ba60a7417p5)) },
{ .x = REAL(FN32(0x1.30ad5ap59), FN64(0x1.30ad5acb1c5bp59), FN80(0x1.30ad5acb1c5b0024p59), FN128(0x1.30ad5acb1c5b002373fea32db435p59)), .y = REAL(FN32(0x1.4e1a6ep5), FN64(0x1.4e1a6e8822c8dp5), FN80(0x1.4e1a6e8822c8d1d4p5), FN128(0x1.4e1a6e8822c8d1d4ee5d54d85c21p5)) },
{ .x = REAL(FN32(0x1.c90408p59), FN64(0x1.c9040830aa888p59), FN80(0x1.c9040830aa888036p59), FN128(0x1.c9040830aa8880352dfdf4c48e5p59)), .y = REAL(FN32(0x1.5158d4p5), FN64(0x1.5158d305babbep5), FN80(0x1.5158d305babbdb54p5), FN128(0x1.5158d305babbdb53452f03a6442cp5)) },
{ .x = REAL(FN32(0x1.56c306p60), FN64(0x1.56c306247fe66p60), FN80(0x1.56c306247fe66028p60), FN128(0x1.56c306247fe66027e27e77936abcp60)), .y = REAL(FN32(0x1.549738p5), FN64(0x1.5497378352aeep5), FN80(0x1.5497378352aee4d2p5), FN128(0x1.5497378352aee4d19c00b2742c36p5)) },
{ .x = REAL(FN32(0x1.011244p61), FN64(0x1.0112449b5fecdp61), FN80(0x1.0112449b5fecc81ep61), FN128(0x1.0112449b5fecc81de9ded9ae900dp61)), .y = REAL(FN32(0x1.57d59cp5), FN64(0x1.57d59c00eaa1fp5), FN80(0x1.57d59c00eaa1ee5p5), FN128(0x1.57d59c00eaa1ee4ff2d26142144p5)) },
{ .x = REAL(FN32(0x1.819b66p61), FN64(0x1.819b66e90fe33p61), FN80(0x1.819b66e90fe32c2cp61), FN128(0x1.819b66e90fe32c2cdece4685d813p61)), .y = REAL(FN32(0x1.5b14p5), FN64(0x1.5b14007e8294fp5), FN80(0x1.5b14007e8294f7cep5), FN128(0x1.5b14007e8294f7ce49a4100ffc4ap5)) },
{ .x = REAL(FN32(0x1.21348ep62), FN64(0x1.21348d2ecbea6p62), FN80(0x1.21348d2ecbea6122p62), FN128(0x1.21348d2ecbea6121a71ab4e4620ep62)), .y = REAL(FN32(0x1.5e5266p5), FN64(0x1.5e5264fc1a88p5), FN80(0x1.5e5264fc1a88014cp5), FN128(0x1.5e5264fc1a88014ca075bedde455p5)) },
{ .x = REAL(FN32(0x1.b1ced4p62), FN64(0x1.b1ced3c631df9p62), FN80(0x1.b1ced3c631df91b2p62), FN128(0x1.b1ced3c631df91b27aa80f569316p62)), .y = REAL(FN32(0x1.6190cap5), FN64(0x1.6190c979b27b1p5), FN80(0x1.6190c979b27b0acap5), FN128(0x1.6190c979b27b0acaf7476dabcc5fp5)) },
{ .x = REAL(FN32(0x1.455b1ep63), FN64(0x1.455b1ed4a567bp63), FN80(0x1.455b1ed4a567ad46p63), FN128(0x1.455b1ed4a567ad45dbfe0b80ee5p63)), .y = REAL(FN32(0x1.64cf2ep5), FN64(0x1.64cf2df74a6e1p5), FN80(0x1.64cf2df74a6e144ap5), FN128(0x1.64cf2df74a6e14494e191c79b469p5)) },
{ .x = REAL(FN32(0x1.e808aep63), FN64(0x1.e808ae3ef81b8p63), FN80(0x1.e808ae3ef81b83e8p63), FN128(0x1.e808ae3ef81b83e8c9fd11416578p63)), .y = REAL(FN32(0x1.680d92p5), FN64(0x1.680d9274e2612p5), FN80(0x1.680d9274e2611dc8p5), FN128(0x1.680d9274e2611dc7a4eacb479c74p5)) },
{ .x = REAL(FN32(0x1.6e0682p64), FN64(0x1.6e0682af3a14ap64), FN80(0x1.6e0682af3a14a2eep64), FN128(0x1.6e0682af3a14a2ee977dccf10c1ap64)), .y = REAL(FN32(0x1.6b4bf6p5), FN64(0x1.6b4bf6f27a542p5), FN80(0x1.6b4bf6f27a542746p5), FN128(0x1.6b4bf6f27a542745fbbc7a15847ep5)) },
{ .x = REAL(FN32(0x1.1284e2p65), FN64(0x1.1284e2036b8f8p65), FN80(0x1.1284e2036b8f7a32p65), FN128(0x1.1284e2036b8f7a32f19e59b4c914p65)), .y = REAL(FN32(0x1.6e8a5cp5), FN64(0x1.6e8a5b7012473p5), FN80(0x1.6e8a5b70124730c4p5), FN128(0x1.6e8a5b70124730c4528e28e36c88p5)) },
{ .x = REAL(FN32(0x1.9bc754p65), FN64(0x1.9bc7530521573p65), FN80(0x1.9bc753052157374cp65), FN128(0x1.9bc753052157374c6a6d868f2d9ep65)), .y = REAL(FN32(0x1.71c8cp5), FN64(0x1.71c8bfedaa3a4p5), FN80(0x1.71c8bfedaa3a3a42p5), FN128(0x1.71c8bfedaa3a3a42a95fd7b15492p5)) },
{ .x = REAL(FN32(0x1.34d57ep66), FN64(0x1.34d57e43d9017p66), FN80(0x1.34d57e43d901697ap66), FN128(0x1.34d57e43d90169794fd224eb6236p66)), .y = REAL(FN32(0x1.750724p5), FN64(0x1.7507246b422d4p5), FN80(0x1.7507246b422d43c2p5), FN128(0x1.7507246b422d43c10031867f3c9dp5)) },
{ .x = REAL(FN32(0x1.cf403ep66), FN64(0x1.cf403d65c5822p66), FN80(0x1.cf403d65c5821e36p66), FN128(0x1.cf403d65c5821e35f7bb37611351p66)), .y = REAL(FN32(0x1.784588p5), FN64(0x1.784588e8da205p5), FN80(0x1.784588e8da204d4p5), FN128(0x1.784588e8da204d3f5703354d24a7p5)) },
{ .x = REAL(FN32(0x1.5b702ep67), FN64(0x1.5b702e0c54219p67), FN80(0x1.5b702e0c542196a8p67), FN128(0x1.5b702e0c542196a879cc6988ce7dp67)), .y = REAL(FN32(0x1.7b83eep5), FN64(0x1.7b83ed6672135p5), FN80(0x1.7b83ed66721356bep5), FN128(0x1.7b83ed66721356bdadd4e41b0cb1p5)) },
{ .x = REAL(FN32(0x1.049422p68), FN64(0x1.049422893f193p68), FN80(0x1.049422893f1930fep68), FN128(0x1.049422893f1930fe5b594f269adep68)), .y = REAL(FN32(0x1.7ec252p5), FN64(0x1.7ec251e40a066p5), FN80(0x1.7ec251e40a06603cp5), FN128(0x1.7ec251e40a06603c04a692e8f4bbp5)) },
{ .x = REAL(FN32(0x1.86de34p68), FN64(0x1.86de33cddea5dp68), FN80(0x1.86de33cddea5c97ep68), FN128(0x1.86de33cddea5c97d8905f6b9e84dp68)), .y = REAL(FN32(0x1.8200b6p5), FN64(0x1.8200b661a1f97p5), FN80(0x1.8200b661a1f969bap5), FN128(0x1.8200b661a1f969ba5b7841b6dcc6p5)) },
{ .x = REAL(FN32(0x1.2526a6p69), FN64(0x1.2526a6da66fc5p69), FN80(0x1.2526a6da66fc571ep69), FN128(0x1.2526a6da66fc571e26c4790b6e39p69)), .y = REAL(FN32(0x1.853f1ap5), FN64(0x1.853f1adf39ec7p5), FN80(0x1.853f1adf39ec7338p5), FN128(0x1.853f1adf39ec7338b249f084c4dp5)) },
{ .x = REAL(FN32(0x1.b7b9fap69), FN64(0x1.b7b9fa479a7a8p69), FN80(0x1.b7b9fa479a7a82aep69), FN128(0x1.b7b9fa479a7a82ad3a26b5912556p69)), .y = REAL(FN32(0x1.887d8p5), FN64(0x1.887d7f5cd1df8p5), FN80(0x1.887d7f5cd1df7cb8p5), FN128(0x1.887d7f5cd1df7cb7091b9f52acdap5)) },
{ .x = REAL(FN32(0x1.49cb7cp70), FN64(0x1.49cb7bb5b3dbep70), FN80(0x1.49cb7bb5b3dbe202p70), FN128(0x1.49cb7bb5b3dbe201eb9d082cdc01p70)), .y = REAL(FN32(0x1.8bbbe4p5), FN64(0x1.8bbbe3da69d28p5), FN80(0x1.8bbbe3da69d28636p5), FN128(0x1.8bbbe3da69d286355fed4e2094e5p5)) },
{ .x = REAL(FN32(0x1.eeb13ap70), FN64(0x1.eeb139908dc9dp70), FN80(0x1.eeb139908dc9d302p70), FN128(0x1.eeb139908dc9d302e16b8c434a01p70)), .y = REAL(FN32(0x1.8efa48p5), FN64(0x1.8efa485801c59p5), FN80(0x1.8efa485801c58fb4p5), FN128(0x1.8efa485801c58fb3b6befcee7cefp5)) },
{ .x = REAL(FN32(0x1.7304ecp71), FN64(0x1.7304eb2c6a576p71), FN80(0x1.7304eb2c6a575e42p71), FN128(0x1.7304eb2c6a575e422910a9327781p71)), .y = REAL(FN32(0x1.9238acp5), FN64(0x1.9238acd599b8ap5), FN80(0x1.9238acd599b89932p5), FN128(0x1.9238acd599b899320d90abbc64f9p5)) },
{ .x = REAL(FN32(0x1.1643bp72), FN64(0x1.1643b0614fc18p72), FN80(0x1.1643b0614fc186b2p72), FN128(0x1.1643b0614fc186b19ecc7ee5d9a1p72)), .y = REAL(FN32(0x1.957712p5), FN64(0x1.9577115331abap5), FN80(0x1.9577115331aba2bp5), FN128(0x1.9577115331aba2b064625a8a4d03p5)) },
{ .x = REAL(FN32(0x1.a16588p72), FN64(0x1.a1658891f7a25p72), FN80(0x1.a1658891f7a24a0ap72), FN128(0x1.a1658891f7a24a0a6e32be58c671p72)), .y = REAL(FN32(0x1.98b576p5), FN64(0x1.98b575d0c99ebp5), FN80(0x1.98b575d0c99eac2ep5), FN128(0x1.98b575d0c99eac2ebb340958350ep5)) },
{ .x = REAL(FN32(0x1.390c26p73), FN64(0x1.390c266d79b9bp73), FN80(0x1.390c266d79b9b788p73), FN128(0x1.390c266d79b9b787d2a60ec294d5p73)), .y = REAL(FN32(0x1.9bf3dap5), FN64(0x1.9bf3da4e6191bp5), FN80(0x1.9bf3da4e6191b5aep5), FN128(0x1.9bf3da4e6191b5ad1205b8261d18p5)) },
{ .x = REAL(FN32(0x1.d5923ap73), FN64(0x1.d59239a436969p73), FN80(0x1.d59239a43696934cp73), FN128(0x1.d59239a43696934bbbf91623df3fp73)), .y = REAL(FN32(0x1.9f323ep5), FN64(0x1.9f323ecbf984cp5), FN80(0x1.9f323ecbf984bf2cp5), FN128(0x1.9f323ecbf984bf2b68d766f40522p5)) },
{ .x = REAL(FN32(0x1.602dacp74), FN64(0x1.602dab3b28f0fp74), FN80(0x1.602dab3b28f0ee78p74), FN128(0x1.602dab3b28f0ee78ccfad09ae76fp74)), .y = REAL(FN32(0x1.a270a4p5), FN64(0x1.a270a3499177dp5), FN80(0x1.a270a3499177c8aap5), FN128(0x1.a270a3499177c8a9bfa915c1ed2cp5)) },
{ .x = REAL(FN32(0x1.08224p75), FN64(0x1.0822406c5eb4bp75), FN80(0x1.0822406c5eb4b2dap75), FN128(0x1.0822406c5eb4b2da99bc1c742d93p75)), .y = REAL(FN32(0x1.a5af08p5), FN64(0x1.a5af07c7296adp5), FN80(0x1.a5af07c7296ad228p5), FN128(0x1.a5af07c7296ad228167ac48fd537p5)) },
{ .x = REAL(FN32(0x1.8c336p75), FN64(0x1.8c3360a28e0f1p75), FN80(0x1.8c3360a28e0f0c48p75), FN128(0x1.8c3360a28e0f0c47e69a2aae445dp75)), .y = REAL(FN32(0x1.a8ed6cp5), FN64(0x1.a8ed6c44c15dep5), FN80(0x1.a8ed6c44c15ddba6p5), FN128(0x1.a8ed6c44c15ddba66d4c735dbd41p5)) },
{ .x = REAL(FN32(0x1.292688p76), FN64(0x1.29268879ea8b5p76), FN80(0x1.29268879ea8b4936p76), FN128(0x1.29268879ea8b4935ecf3a002b346p76)), .y = REAL(FN32(0x1.ac2bdp5), FN64(0x1.ac2bd0c25950ep5), FN80(0x1.ac2bd0c25950e524p5), FN128(0x1.ac2bd0c25950e524c41e222ba54bp5)) },
{ .x = REAL(FN32(0x1.bdb9ccp76), FN64(0x1.bdb9ccb6dfd0fp76), FN80(0x1.bdb9ccb6dfd0eddp76), FN128(0x1.bdb9ccb6dfd0edd0e36d70040ce9p76)), .y = REAL(FN32(0x1.af6a36p5), FN64(0x1.af6a353ff143fp5), FN80(0x1.af6a353ff143eea4p5), FN128(0x1.af6a353ff143eea31aefd0f98d55p5)) },
{ .x = REAL(FN32(0x1.4e4b5ap77), FN64(0x1.4e4b598927dcbp77), FN80(0x1.4e4b598927dcb25cp77), FN128(0x1.4e4b598927dcb25caa92140309afp77)), .y = REAL(FN32(0x1.b2a89ap5), FN64(0x1.b2a899bd8937p5), FN80(0x1.b2a899bd8936f822p5), FN128(0x1.b2a899bd8936f82171c17fc7756p5)) },
{ .x = REAL(FN32(0x1.f57106p77), FN64(0x1.f571064dbbcb1p77), FN80(0x1.f571064dbbcb0b8ap77), FN128(0x1.f571064dbbcb0b8affdb1e048e86p77)), .y = REAL(FN32(0x1.b5e6fep5), FN64(0x1.b5e6fe3b212ap5), FN80(0x1.b5e6fe3b212a01ap5), FN128(0x1.b5e6fe3b212a019fc8932e955d6ap5)) },
{ .x = REAL(FN32(0x1.7814c4p78), FN64(0x1.7814c4ba4cd85p78), FN80(0x1.7814c4ba4cd848a8p78), FN128(0x1.7814c4ba4cd848a83fe456836ae4p78)), .y = REAL(FN32(0x1.b92562p5), FN64(0x1.b92562b8b91d1p5), FN80(0x1.b92562b8b91d0b1ep5), FN128(0x1.b92562b8b91d0b1e1f64dd634574p5)) },
{ .x = REAL(FN32(0x1.1a0f94p79), FN64(0x1.1a0f938bb9a23p79), FN80(0x1.1a0f938bb9a2367ep79), FN128(0x1.1a0f938bb9a2367e2feb40e2902bp79)), .y = REAL(FN32(0x1.bc63c8p5), FN64(0x1.bc63c73651101p5), FN80(0x1.bc63c7365110149cp5), FN128(0x1.bc63c7365110149c76368c312d7ep5)) },
{ .x = REAL(FN32(0x1.a7175ep79), FN64(0x1.a7175d5196735p79), FN80(0x1.a7175d51967351bep79), FN128(0x1.a7175d51967351bd47e0e153d841p79)), .y = REAL(FN32(0x1.bfa22cp5), FN64(0x1.bfa22bb3e9032p5), FN80(0x1.bfa22bb3e9031e1ap5), FN128(0x1.bfa22bb3e9031e1acd083aff1589p5)) },
{ .x = REAL(FN32(0x1.3d5186p80), FN64(0x1.3d5185fd30d68p80), FN80(0x1.3d5185fd30d67d4ep80), FN128(0x1.3d5185fd30d67d4df5e8a8fee231p80)), .y = REAL(FN32(0x1.c2e09p5), FN64(0x1.c2e0903180f62p5), FN80(0x1.c2e0903180f6279ap5), FN128(0x1.c2e0903180f6279923d9e9ccfd93p5)) },
{ .x = REAL(FN32(0x1.dbfa48p80), FN64(0x1.dbfa48fbc941cp80), FN80(0x1.dbfa48fbc941bbf4p80), FN128(0x1.dbfa48fbc941bbf4f0dcfd7e5349p80)), .y = REAL(FN32(0x1.c61ef4p5), FN64(0x1.c61ef4af18e93p5), FN80(0x1.c61ef4af18e93118p5), FN128(0x1.c61ef4af18e931177aab989ae59dp5)) },
{ .x = REAL(FN32(0x1.64fbb6p81), FN64(0x1.64fbb6bcd6f15p81), FN80(0x1.64fbb6bcd6f14cf8p81), FN128(0x1.64fbb6bcd6f14cf7b4a5be1ebe77p81)), .y = REAL(FN32(0x1.c95d5ap5), FN64(0x1.c95d592cb0dc4p5), FN80(0x1.c95d592cb0dc3a96p5), FN128(0x1.c95d592cb0dc3a95d17d4768cda8p5)) },
{ .x = REAL(FN32(0x1.0bbccap82), FN64(0x1.0bbcc90da135p82), FN80(0x1.0bbcc90da134f9bap82), FN128(0x1.0bbcc90da134f9b9c77c4e970ed9p82)), .y = REAL(FN32(0x1.cc9bbep5), FN64(0x1.cc9bbdaa48cf4p5), FN80(0x1.cc9bbdaa48cf4414p5), FN128(0x1.cc9bbdaa48cf4414284ef636b5b2p5)) },
{ .x = REAL(FN32(0x1.919b2ep82), FN64(0x1.919b2d9471cf7p82), FN80(0x1.919b2d9471cf7696p82), FN128(0x1.919b2d9471cf7696ab3a75e29646p82)), .y = REAL(FN32(0x1.cfda22p5), FN64(0x1.cfda2227e0c25p5), FN80(0x1.cfda2227e0c24d92p5), FN128(0x1.cfda2227e0c24d927f20a5049dbcp5)) },
{ .x = REAL(FN32(0x1.2d3462p83), FN64(0x1.2d34622f555bap83), FN80(0x1.2d34622f555b98f2p83), FN128(0x1.2d34622f555b98f1006bd869f0b4p83)), .y = REAL(FN32(0x1.d31886p5), FN64(0x1.d31886a578b55p5), FN80(0x1.d31886a578b5571p5), FN128(0x1.d31886a578b55710d5f253d285c6p5)) },
{ .x = REAL(FN32(0x1.c3ce94p83), FN64(0x1.c3ce934700096p83), FN80(0x1.c3ce93470009656ap83), FN128(0x1.c3ce93470009656980a1c49ee90ep83)), .y = REAL(FN32(0x1.d656ecp5), FN64(0x1.d656eb2310a86p5), FN80(0x1.d656eb2310a8609p5), FN128(0x1.d656eb2310a8608f2cc402a06dd1p5)) },
{ .x = REAL(FN32(0x1.52daeep84), FN64(0x1.52daee7540071p84), FN80(0x1.52daee7540070c1p84), FN128(0x1.52daee7540070c0f207953772ecbp84)), .y = REAL(FN32(0x1.d9955p5), FN64(0x1.d9954fa0a89b7p5), FN80(0x1.d9954fa0a89b6a0ep5), FN128(0x1.d9954fa0a89b6a0d8395b16e55dbp5)) },
{ .x = REAL(FN32(0x1.fc4866p84), FN64(0x1.fc4865afe00a9p84), FN80(0x1.fc4865afe00a9216p84), FN128(0x1.fc4865afe00a9216b0b5fd32c63p84)), .y = REAL(FN32(0x1.dcd3b4p5), FN64(0x1.dcd3b41e408e7p5), FN80(0x1.dcd3b41e408e738cp5), FN128(0x1.dcd3b41e408e738bda67603c3de5p5)) },
{ .x = REAL(FN32(0x1.7d364cp85), FN64(0x1.7d364c43e807fp85), FN80(0x1.7d364c43e807ed92p85), FN128(0x1.7d364c43e807ed9104887de614a4p85)), .y = REAL(FN32(0x1.e01218p5), FN64(0x1.e012189bd8818p5), FN80(0x1.e012189bd8817d0ap5), FN128(0x1.e012189bd8817d0a31390f0a25efp5)) },
{ .x = REAL(FN32(0x1.1de8bap86), FN64(0x1.1de8b932ee05fp86), FN80(0x1.1de8b932ee05f22cp86), FN128(0x1.1de8b932ee05f22cc3665e6c8f7bp86)), .y = REAL(FN32(0x1.e3507ep5), FN64(0x1.e3507d1970748p5), FN80(0x1.e3507d1970748688p5), FN128(0x1.e3507d1970748688880abdd80dfap5)) },
{ .x = REAL(FN32(0x1.acdd16p86), FN64(0x1.acdd15cc6508fp86), FN80(0x1.acdd15cc6508eb44p86), FN128(0x1.acdd15cc6508eb4325198da2d739p86)), .y = REAL(FN32(0x1.e68ee2p5), FN64(0x1.e68ee19708679p5), FN80(0x1.e68ee19708679006p5), FN128(0x1.e68ee19708679006dedc6ca5f604p5)) },
{ .x = REAL(FN32(0x1.41a5dp87), FN64(0x1.41a5d0594bc6bp87), FN80(0x1.41a5d0594bc6b072p87), FN128(0x1.41a5d0594bc6b0725bd32a3a216ap87)), .y = REAL(FN32(0x1.e9cd46p5), FN64(0x1.e9cd4614a05aap5), FN80(0x1.e9cd4614a05a9986p5), FN128(0x1.e9cd4614a05a998535ae1b73de0ep5)) },
{ .x = REAL(FN32(0x1.e278b8p87), FN64(0x1.e278b885f1aa1p87), FN80(0x1.e278b885f1aa08acp87), FN128(0x1.e278b885f1aa08ab89bcbf57322p87)), .y = REAL(FN32(0x1.ed0baap5), FN64(0x1.ed0baa92384dap5), FN80(0x1.ed0baa92384da304p5), FN128(0x1.ed0baa92384da3038c7fca41c618p5)) },
{ .x = REAL(FN32(0x1.69da8ap88), FN64(0x1.69da8a64753f8p88), FN80(0x1.69da8a64753f868p88), FN128(0x1.69da8a64753f8680a74d8f816598p88)), .y = REAL(FN32(0x1.f04a1p5), FN64(0x1.f04a0f0fd040bp5), FN80(0x1.f04a0f0fd040ac82p5), FN128(0x1.f04a0f0fd040ac81e351790fae23p5)) },
{ .x = REAL(FN32(0x1.0f63e8p89), FN64(0x1.0f63e7cb57efap89), FN80(0x1.0f63e7cb57efa4ep89), FN128(0x1.0f63e7cb57efa4e07d7a2ba10c32p89)), .y = REAL(FN32(0x1.f38874p5), FN64(0x1.f388738d6833bp5), FN80(0x1.f388738d6833b6p5), FN128(0x1.f388738d6833b6003a2327dd962dp5)) },
{ .x = REAL(FN32(0x1.9715dcp89), FN64(0x1.9715dbb103e77p89), FN80(0x1.9715dbb103e7775p89), FN128(0x1.9715dbb103e77750bc374171924bp89)), .y = REAL(FN32(0x1.f6c6d8p5), FN64(0x1.f6c6d80b0026cp5), FN80(0x1.f6c6d80b0026bf7ep5), FN128(0x1.f6c6d80b0026bf7e90f4d6ab7e37p5)) },
{ .x = REAL(FN32(0x1.315064p90), FN64(0x1.315064c4c2edap90), FN80(0x1.315064c4c2ed997cp90), FN128(0x1.315064c4c2ed997c8d2971152db8p90)), .y = REAL(FN32(0x1.fa053cp5), FN64(0x1.fa053c889819dp5), FN80(0x1.fa053c889819c8fcp5), FN128(0x1.fa053c889819c8fce7c685796642p5)) },
{ .x = REAL(FN32(0x1.c9f898p90), FN64(0x1.c9f8972724646p90), FN80(0x1.c9f897272464663ap90), FN128(0x1.c9f897272464663ad3be299fc494p90)), .y = REAL(FN32(0x1.fd43a2p5), FN64(0x1.fd43a106300cdp5), FN80(0x1.fd43a106300cd27cp5), FN128(0x1.fd43a106300cd27b3e9834474e4cp5)) },
{ .x = REAL(FN32(0x1.577a72p91), FN64(0x1.577a715d5b4b5p91), FN80(0x1.577a715d5b4b4cacp91), FN128(0x1.577a715d5b4b4cac1ece9f37d36fp91)), .y = REAL(FN32(0x1.004102p6), FN64(0x1.004102c1e3fffp6), FN80(0x1.004102c1e3ffedfcp6), FN128(0x1.004102c1e3ffedfccab4f18a9b2bp6)) },
{ .x = REAL(FN32(0x1.019bd6p92), FN64(0x1.019bd50604788p92), FN80(0x1.019bd50604787982p92), FN128(0x1.019bd50604787981171af769de93p92)), .y = REAL(FN32(0x1.01e036p6), FN64(0x1.01e03500aff97p6), FN80(0x1.01e03500aff972bcp6), FN128(0x1.01e03500aff972bbf61dc8f18f3p6)) },
{ .x = REAL(FN32(0x1.8269cp92), FN64(0x1.8269bf8906b4bp92), FN80(0x1.8269bf8906b4b642p92), FN128(0x1.8269bf8906b4b641a2a8731ecdddp92)), .y = REAL(FN32(0x1.037f68p6), FN64(0x1.037f673f7bf2fp6), FN80(0x1.037f673f7bf2f77cp6), FN128(0x1.037f673f7bf2f77b2186a0588335p6)) },
{ .x = REAL(FN32(0x1.21cf5p93), FN64(0x1.21cf4fa6c5079p93), FN80(0x1.21cf4fa6c50788b2p93), FN128(0x1.21cf4fa6c50788b139fe56571a66p93)), .y = REAL(FN32(0x1.051e9ap6), FN64(0x1.051e997e47ec8p6), FN80(0x1.051e997e47ec7c3ap6), FN128(0x1.051e997e47ec7c3a4cef77bf773ap6)) },
{ .x = REAL(FN32(0x1.b2b6f8p93), FN64(0x1.b2b6f77a278b5p93), FN80(0x1.b2b6f77a278b4d0ap93), FN128(0x1.b2b6f77a278b4d09d6fd8182a798p93)), .y = REAL(FN32(0x1.06bdccp6), FN64(0x1.06bdcbbd13e6p6), FN80(0x1.06bdcbbd13e600fap6), FN128(0x1.06bdcbbd13e600f978584f266b4p6)) },
{ .x = REAL(FN32(0x1.46093ap94), FN64(0x1.4609399b9da88p94), FN80(0x1.4609399b9da879c8p94), FN128(0x1.4609399b9da879c7613e2121fdb2p94)), .y = REAL(FN32(0x1.085cfep6), FN64(0x1.085cfdfbdfdf8p6), FN80(0x1.085cfdfbdfdf85b8p6), FN128(0x1.085cfdfbdfdf85b8a3c1268d5f45p6)) },
{ .x = REAL(FN32(0x1.e90dd6p94), FN64(0x1.e90dd6696c7cbp94), FN80(0x1.e90dd6696c7cb6acp94), FN128(0x1.e90dd6696c7cb6ab11dd31b2fc8cp94)), .y = REAL(FN32(0x1.09fc3p6), FN64(0x1.09fc303aabd91p6), FN80(0x1.09fc303aabd90a78p6), FN128(0x1.09fc303aabd90a77cf29fdf4534ap6)) },
{ .x = REAL(FN32(0x1.6eca6p95), FN64(0x1.6eca60cf115d9p95), FN80(0x1.6eca60cf115d89p95), FN128(0x1.6eca60cf115d89004d65e5463d69p95)), .y = REAL(FN32(0x1.0b9b62p6), FN64(0x1.0b9b627977d29p6), FN80(0x1.0b9b627977d28f36p6), FN128(0x1.0b9b627977d28f36fa92d55b474fp6)) },
{ .x = REAL(FN32(0x1.1317c8p96), FN64(0x1.1317c89b4d062p96), FN80(0x1.1317c89b4d0626cp96), FN128(0x1.1317c89b4d0626c03a0c6bf4ae0ep96)), .y = REAL(FN32(0x1.0d3a94p6), FN64(0x1.0d3a94b843cc1p6), FN80(0x1.0d3a94b843cc13f6p6), FN128(0x1.0d3a94b843cc13f625fbacc23b54p6)) },
{ .x = REAL(FN32(0x1.9ca3acp96), FN64(0x1.9ca3ace8f3894p96), FN80(0x1.9ca3ace8f3893a2p96), FN128(0x1.9ca3ace8f3893a205712a1ef0516p96)), .y = REAL(FN32(0x1.0ed9c6p6), FN64(0x1.0ed9c6f70fc5ap6), FN80(0x1.0ed9c6f70fc598b6p6), FN128(0x1.0ed9c6f70fc598b5516484292f59p6)) },
{ .x = REAL(FN32(0x1.357ac2p97), FN64(0x1.357ac1aeb6a6fp97), FN80(0x1.357ac1aeb6a6eb98p97), FN128(0x1.357ac1aeb6a6eb98414df97343dp97)), .y = REAL(FN32(0x1.1078fap6), FN64(0x1.1078f935dbbf2p6), FN80(0x1.1078f935dbbf1d74p6), FN128(0x1.1078f935dbbf1d747ccd5b90235ep6)) },
{ .x = REAL(FN32(0x1.d03822p97), FN64(0x1.d038228611fa6p97), FN80(0x1.d038228611fa6164p97), FN128(0x1.d038228611fa616461f4f62ce5b8p97)), .y = REAL(FN32(0x1.12182cp6), FN64(0x1.12182b74a7b8ap6), FN80(0x1.12182b74a7b8a234p6), FN128(0x1.12182b74a7b8a233a83632f71764p6)) },
{ .x = REAL(FN32(0x1.5c2a1ap98), FN64(0x1.5c2a19e48d7bdp98), FN80(0x1.5c2a19e48d7bc90cp98), FN128(0x1.5c2a19e48d7bc90b4977b8a1ac4ap98)), .y = REAL(FN32(0x1.13b75ep6), FN64(0x1.13b75db373b22p6), FN80(0x1.13b75db373b226f2p6), FN128(0x1.13b75db373b226f2d39f0a5e0b69p6)) },
{ .x = REAL(FN32(0x1.051f94p99), FN64(0x1.051f936b6a1cdp99), FN80(0x1.051f936b6a1cd6c8p99), FN128(0x1.051f936b6a1cd6c87719ca794138p99)), .y = REAL(FN32(0x1.15569p6), FN64(0x1.15568ff23fabbp6), FN80(0x1.15568ff23fababb2p6), FN128(0x1.15568ff23fababb1ff07e1c4ff6ep6)) },
{ .x = REAL(FN32(0x1.87af5ep99), FN64(0x1.87af5d211f2b4p99), FN80(0x1.87af5d211f2b422cp99), FN128(0x1.87af5d211f2b422cb2a6afb5e1d4p99)), .y = REAL(FN32(0x1.16f5c2p6), FN64(0x1.16f5c2310ba53p6), FN80(0x1.16f5c2310ba53072p6), FN128(0x1.16f5c2310ba530712a70b92bf373p6)) },
{ .x = REAL(FN32(0x1.25c386p100), FN64(0x1.25c385d8d7607p100), FN80(0x1.25c385d8d76071a2p100), FN128(0x1.25c385d8d76071a185fd03c8695fp100)), .y = REAL(FN32(0x1.1894f4p6), FN64(0x1.1894f46fd79ebp6), FN80(0x1.1894f46fd79eb53p6), FN128(0x1.1894f46fd79eb53055d99092e778p6)) },
{ .x = REAL(FN32(0x1.b8a548p100), FN64(0x1.b8a548c54310bp100), FN80(0x1.b8a548c54310aa72p100), FN128(0x1.b8a548c54310aa7248fb85ac9e0ep100)), .y = REAL(FN32(0x1.1a3426p6), FN64(0x1.1a3426aea3984p6), FN80(0x1.1a3426aea39839fp6), FN128(0x1.1a3426aea39839ef814267f9db7dp6)) },
{ .x = REAL(FN32(0x1.4a7bf6p101), FN64(0x1.4a7bf693f24c8p101), FN80(0x1.4a7bf693f24c7fd6p101), FN128(0x1.4a7bf693f24c7fd5b6bca441768bp101)), .y = REAL(FN32(0x1.1bd358p6), FN64(0x1.1bd358ed6f91cp6), FN80(0x1.1bd358ed6f91beaep6), FN128(0x1.1bd358ed6f91beaeacab3f60cf82p6)) },
{ .x = REAL(FN32(0x1.efb9f2p101), FN64(0x1.efb9f1ddeb72cp101), FN80(0x1.efb9f1ddeb72bfcp101), FN128(0x1.efb9f1ddeb72bfc0921af66231dp101)), .y = REAL(FN32(0x1.1d728cp6), FN64(0x1.1d728b2c3b8b4p6), FN80(0x1.1d728b2c3b8b436ep6), FN128(0x1.1d728b2c3b8b436dd81416c7c387p6)) },
{ .x = REAL(FN32(0x1.73cb76p102), FN64(0x1.73cb756670961p102), FN80(0x1.73cb756670960fdp102), FN128(0x1.73cb756670960fd06d9438c9a55cp102)), .y = REAL(FN32(0x1.1f11bep6), FN64(0x1.1f11bd6b0784dp6), FN80(0x1.1f11bd6b0784c82ep6), FN128(0x1.1f11bd6b0784c82d037cee2eb78dp6)) },
{ .x = REAL(FN32(0x1.16d898p103), FN64(0x1.16d8980cd4709p103), FN80(0x1.16d8980cd4708bdcp103), FN128(0x1.16d8980cd4708bdc522f2a973c05p103)), .y = REAL(FN32(0x1.20b0fp6), FN64(0x1.20b0efa9d37e5p6), FN80(0x1.20b0efa9d37e4cecp6), FN128(0x1.20b0efa9d37e4cec2ee5c595ab92p6)) },
{ .x = REAL(FN32(0x1.a244e4p103), FN64(0x1.a244e4133ea8dp103), FN80(0x1.a244e4133ea8d1cap103), FN128(0x1.a244e4133ea8d1ca7b46bfe2da07p103)), .y = REAL(FN32(0x1.225022p6), FN64(0x1.225021e89f77dp6), FN80(0x1.225021e89f77d1acp6), FN128(0x1.225021e89f77d1ab5a4e9cfc9f97p6)) },
{ .x = REAL(FN32(0x1.39b3acp104), FN64(0x1.39b3ab0e6efeap104), FN80(0x1.39b3ab0e6efe9d58p104), FN128(0x1.39b3ab0e6efe9d57dc750fea2386p104)), .y = REAL(FN32(0x1.23ef54p6), FN64(0x1.23ef54276b715p6), FN80(0x1.23ef54276b71566ap6), FN128(0x1.23ef54276b71566a85b77463939cp6)) },
{ .x = REAL(FN32(0x1.d68d8p104), FN64(0x1.d68d8095a67dfp104), FN80(0x1.d68d8095a67dec04p104), FN128(0x1.d68d8095a67dec03caaf97df3548p104)), .y = REAL(FN32(0x1.258e86p6), FN64(0x1.258e8666376aep6), FN80(0x1.258e8666376adb2ap6), FN128(0x1.258e8666376adb29b1204bca87a1p6)) },
{ .x = REAL(FN32(0x1.60ea2p105), FN64(0x1.60ea20703cde7p105), FN80(0x1.60ea20703cde7102p105), FN128(0x1.60ea20703cde7102d803b1e767f6p105)), .y = REAL(FN32(0x1.272db8p6), FN64(0x1.272db8a503646p6), FN80(0x1.272db8a503645fe8p6), FN128(0x1.272db8a503645fe8dc8923317ba6p6)) },
{ .x = REAL(FN32(0x1.08af98p106), FN64(0x1.08af98542da6dp106), FN80(0x1.08af98542da6d4c2p106), FN128(0x1.08af98542da6d4c22202c56d8df9p106)), .y = REAL(FN32(0x1.28cceap6), FN64(0x1.28cceae3cf5dep6), FN80(0x1.28cceae3cf5de4a8p6), FN128(0x1.28cceae3cf5de4a807f1fa986fabp6)) },
{ .x = REAL(FN32(0x1.8d0764p106), FN64(0x1.8d07647e447a4p106), FN80(0x1.8d07647e447a3f24p106), FN128(0x1.8d07647e447a3f233304282454f5p106)), .y = REAL(FN32(0x1.2a6c1ep6), FN64(0x1.2a6c1d229b577p6), FN80(0x1.2a6c1d229b576968p6), FN128(0x1.2a6c1d229b576967335ad1ff63b1p6)) },
{ .x = REAL(FN32(0x1.29c58cp107), FN64(0x1.29c58b5eb35bbp107), FN80(0x1.29c58b5eb35baf5ap107), FN128(0x1.29c58b5eb35baf5a66431e1b3fb8p107)), .y = REAL(FN32(0x1.2c0b5p6), FN64(0x1.2c0b4f616750fp6), FN80(0x1.2c0b4f616750ee26p6), FN128(0x1.2c0b4f616750ee265ec3a96657b6p6)) },
{ .x = REAL(FN32(0x1.bea852p107), FN64(0x1.bea8510e0d098p107), FN80(0x1.bea8510e0d098708p107), FN128(0x1.bea8510e0d0987079964ad28df94p107)), .y = REAL(FN32(0x1.2daa82p6), FN64(0x1.2daa81a0334a7p6), FN80(0x1.2daa81a0334a72e6p6), FN128(0x1.2daa81a0334a72e58a2c80cd4bbbp6)) },
{ .x = REAL(FN32(0x1.4efe3cp108), FN64(0x1.4efe3cca89c72p108), FN80(0x1.4efe3cca89c72546p108), FN128(0x1.4efe3cca89c72545b30b81dea7afp108)), .y = REAL(FN32(0x1.2f49b4p6), FN64(0x1.2f49b3deff43fp6), FN80(0x1.2f49b3deff43f7a4p6), FN128(0x1.2f49b3deff43f7a4b59558343fcp6)) },
{ .x = REAL(FN32(0x1.f67d5cp108), FN64(0x1.f67d5b2fceaabp108), FN80(0x1.f67d5b2fceaab7e8p108), FN128(0x1.f67d5b2fceaab7e88c9142cdfb86p108)), .y = REAL(FN32(0x1.30e8e6p6), FN64(0x1.30e8e61dcb3d8p6), FN80(0x1.30e8e61dcb3d7c64p6), FN128(0x1.30e8e61dcb3d7c63e0fe2f9b33c5p6)) },
{ .x = REAL(FN32(0x1.78de04p109), FN64(0x1.78de0463db001p109), FN80(0x1.78de0463db0009eep109), FN128(0x1.78de0463db0009ee696cf21a7ca5p109)), .y = REAL(FN32(0x1.328818p6), FN64(0x1.3288185c9737p6), FN80(0x1.3288185c97370124p6), FN128(0x1.3288185c973701230c67070227cap6)) },
{ .x = REAL(FN32(0x1.1aa684p110), FN64(0x1.1aa6834ae44p110), FN80(0x1.1aa6834ae4400772p110), FN128(0x1.1aa6834ae4400772cf11b593dd7bp110)), .y = REAL(FN32(0x1.34274ap6), FN64(0x1.34274a9b63308p6), FN80(0x1.34274a9b633085e2p6), FN128(0x1.34274a9b633085e237cfde691bcfp6)) },
{ .x = REAL(FN32(0x1.a7f9c4p110), FN64(0x1.a7f9c4f056601p110), FN80(0x1.a7f9c4f056600b2cp110), FN128(0x1.a7f9c4f056600b2c369a905dcc39p110)), .y = REAL(FN32(0x1.35c67cp6), FN64(0x1.35c67cda2f2a1p6), FN80(0x1.35c67cda2f2a0aa2p6), FN128(0x1.35c67cda2f2a0aa16338b5d00fd4p6)) },
{ .x = REAL(FN32(0x1.3dfb54p111), FN64(0x1.3dfb53b440c81p111), FN80(0x1.3dfb53b440c80862p111), FN128(0x1.3dfb53b440c8086128f3ec46592bp111)), .y = REAL(FN32(0x1.3765bp6), FN64(0x1.3765af18fb239p6), FN80(0x1.3765af18fb238f6p6), FN128(0x1.3765af18fb238f608ea18d3703dap6)) },
{ .x = REAL(FN32(0x1.dcf8fep111), FN64(0x1.dcf8fd8e612c1p111), FN80(0x1.dcf8fd8e612c0c92p111), FN128(0x1.dcf8fd8e612c0c91bd6de26985cp111)), .y = REAL(FN32(0x1.3904e2p6), FN64(0x1.3904e157c71d1p6), FN80(0x1.3904e157c71d142p6), FN128(0x1.3904e157c71d141fba0a649df7dfp6)) },
{ .x = REAL(FN32(0x1.65babep112), FN64(0x1.65babe2ac8e11p112), FN80(0x1.65babe2ac8e1096ep112), FN128(0x1.65babe2ac8e1096d4e1269cf245p112)), .y = REAL(FN32(0x1.3aa414p6), FN64(0x1.3aa413969316ap6), FN80(0x1.3aa41396931698dep6), FN128(0x1.3aa41396931698dee5733c04ebe4p6)) },
{ .x = REAL(FN32(0x1.0c4c0ep113), FN64(0x1.0c4c0ea016a8cp113), FN80(0x1.0c4c0ea016a8c712p113), FN128(0x1.0c4c0ea016a8c711fa8dcf5b5b3cp113)), .y = REAL(FN32(0x1.3c4346p6), FN64(0x1.3c4345d55f102p6), FN80(0x1.3c4345d55f101d9ep6), FN128(0x1.3c4345d55f101d9e10dc136bdfe9p6)) },
{ .x = REAL(FN32(0x1.927216p113), FN64(0x1.927215f021fd3p113), FN80(0x1.927215f021fd2a9ap113), FN128(0x1.927215f021fd2a9af7d4b70908dap113)), .y = REAL(FN32(0x1.3de278p6), FN64(0x1.3de278142b09ap6), FN80(0x1.3de278142b09a25ep6), FN128(0x1.3de278142b09a25d3c44ead2d3eep6)) },
{ .x = REAL(FN32(0x1.2dd59p114), FN64(0x1.2dd59074197dep114), FN80(0x1.2dd59074197ddff4p114), FN128(0x1.2dd59074197ddff439df8946c6a4p114)), .y = REAL(FN32(0x1.3f81aap6), FN64(0x1.3f81aa52f7032p6), FN80(0x1.3f81aa52f703271cp6), FN128(0x1.3f81aa52f703271c67adc239c7f3p6)) },
{ .x = REAL(FN32(0x1.c4c058p114), FN64(0x1.c4c058ae263cdp114), FN80(0x1.c4c058ae263ccfeep114), FN128(0x1.c4c058ae263ccfee56cf4dea29f6p114)), .y = REAL(FN32(0x1.4120dcp6), FN64(0x1.4120dc91c2fcbp6), FN80(0x1.4120dc91c2fcabdcp6), FN128(0x1.4120dc91c2fcabdb931699a0bbf8p6)) },
{ .x = REAL(FN32(0x1.539042p115), FN64(0x1.539042829cadap115), FN80(0x1.539042829cad9bf2p115), FN128(0x1.539042829cad9bf2c11b7a6f9f78p115)), .y = REAL(FN32(0x1.42c00ep6), FN64(0x1.42c00ed08ef63p6), FN80(0x1.42c00ed08ef6309ap6), FN128(0x1.42c00ed08ef6309abe7f7107affep6)) },
{ .x = REAL(FN32(0x1.fd5864p115), FN64(0x1.fd5863c3eb047p115), FN80(0x1.fd5863c3eb0469ecp115), FN128(0x1.fd5863c3eb0469ec21a937a76f34p115)), .y = REAL(FN32(0x1.445f42p6), FN64(0x1.445f410f5aefbp6), FN80(0x1.445f410f5aefb55ap6), FN128(0x1.445f410f5aefb559e9e8486ea403p6)) },
{ .x = REAL(FN32(0x1.7e024ap116), FN64(0x1.7e024ad2f0435p116), FN80(0x1.7e024ad2f0434f72p116), FN128(0x1.7e024ad2f0434f71193ee9bd9367p116)), .y = REAL(FN32(0x1.45fe74p6), FN64(0x1.45fe734e26e94p6), FN80(0x1.45fe734e26e93a1ap6), FN128(0x1.45fe734e26e93a1915511fd59808p6)) },
{ .x = REAL(FN32(0x1.1e81b8p117), FN64(0x1.1e81b81e34328p117), FN80(0x1.1e81b81e34327b94p117), FN128(0x1.1e81b81e34327b94d2ef2f4e2e8dp117)), .y = REAL(FN32(0x1.479da6p6), FN64(0x1.479da58cf2e2cp6), FN80(0x1.479da58cf2e2bed8p6), FN128(0x1.479da58cf2e2bed840b9f73c8c0dp6)) },
{ .x = REAL(FN32(0x1.adc294p117), FN64(0x1.adc2942d4e4bcp117), FN80(0x1.adc2942d4e4bb96p117), FN128(0x1.adc2942d4e4bb95f3c66c6f545d4p117)), .y = REAL(FN32(0x1.493cd8p6), FN64(0x1.493cd7cbbedc4p6), FN80(0x1.493cd7cbbedc4398p6), FN128(0x1.493cd7cbbedc43976c22cea38012p6)) },
{ .x = REAL(FN32(0x1.4251fp118), FN64(0x1.4251ef21fab8dp118), FN80(0x1.4251ef21fab8cb08p118), FN128(0x1.4251ef21fab8cb076d4d1537f45fp118)), .y = REAL(FN32(0x1.4adc0ap6), FN64(0x1.4adc0a0a8ad5dp6), FN80(0x1.4adc0a0a8ad5c856p6), FN128(0x1.4adc0a0a8ad5c856978ba60a7417p6)) },
{ .x = REAL(FN32(0x1.e37ae6p118), FN64(0x1.e37ae6b2f8153p118), FN80(0x1.e37ae6b2f815308cp118), FN128(0x1.e37ae6b2f815308b23f39fd3ee8fp118)), .y = REAL(FN32(0x1.4c7b3cp6), FN64(0x1.4c7b3c4956cf5p6), FN80(0x1.4c7b3c4956cf4d16p6), FN128(0x1.4c7b3c4956cf4d15c2f47d71681cp6)) },
{ .x = REAL(FN32(0x1.6a9c2ep119), FN64(0x1.6a9c2d063a0fep119), FN80(0x1.6a9c2d063a0fe468p119), FN128(0x1.6a9c2d063a0fe4685af6b7def2ebp119)), .y = REAL(FN32(0x1.4e1a6ep6), FN64(0x1.4e1a6e8822c8dp6), FN80(0x1.4e1a6e8822c8d1d4p6), FN128(0x1.4e1a6e8822c8d1d4ee5d54d85c21p6)) },
{ .x = REAL(FN32(0x1.0ff522p120), FN64(0x1.0ff521c4ab8bfp120), FN80(0x1.0ff521c4ab8beb4ep120), FN128(0x1.0ff521c4ab8beb4e443909e7363p120)), .y = REAL(FN32(0x1.4fb9ap6), FN64(0x1.4fb9a0c6eec25p6), FN80(0x1.4fb9a0c6eec25694p6), FN128(0x1.4fb9a0c6eec2569419c62c3f5027p6)) },
{ .x = REAL(FN32(0x1.97efb2p120), FN64(0x1.97efb2a70151ep120), FN80(0x1.97efb2a70151e0f6p120), FN128(0x1.97efb2a70151e0f566558edad148p120)), .y = REAL(FN32(0x1.5158d4p6), FN64(0x1.5158d305babbep6), FN80(0x1.5158d305babbdb54p6), FN128(0x1.5158d305babbdb53452f03a6442cp6)) },
{ .x = REAL(FN32(0x1.31f3c6p121), FN64(0x1.31f3c5fd40fd7p121), FN80(0x1.31f3c5fd40fd68b8p121), FN128(0x1.31f3c5fd40fd68b80cc02b241cf6p121)), .y = REAL(FN32(0x1.52f806p6), FN64(0x1.52f8054486b56p6), FN80(0x1.52f8054486b56012p6), FN128(0x1.52f8054486b560127097db0d3831p6)) },
{ .x = REAL(FN32(0x1.caeda8p121), FN64(0x1.caeda8fbe17c2p121), FN80(0x1.caeda8fbe17c1d14p121), FN128(0x1.caeda8fbe17c1d14132040b62b71p121)), .y = REAL(FN32(0x1.549738p6), FN64(0x1.5497378352aeep6), FN80(0x1.5497378352aee4d2p6), FN128(0x1.5497378352aee4d19c00b2742c36p6)) },
{ .x = REAL(FN32(0x1.58323ep122), FN64(0x1.58323ebce91d1p122), FN80(0x1.58323ebce91d15dp122), FN128(0x1.58323ebce91d15cf0e583088a095p122)), .y = REAL(FN32(0x1.56366ap6), FN64(0x1.563669c21ea87p6), FN80(0x1.563669c21ea8699p6), FN128(0x1.563669c21ea86990c76989db203bp6)) },
{ .x = REAL(FN32(0x1.0225bp123), FN64(0x1.0225af0daed5dp123), FN80(0x1.0225af0daed5d05cp123), FN128(0x1.0225af0daed5d05b4ac22466787p123)), .y = REAL(FN32(0x1.57d59cp6), FN64(0x1.57d59c00eaa1fp6), FN80(0x1.57d59c00eaa1ee5p6), FN128(0x1.57d59c00eaa1ee4ff2d26142144p6)) },
{ .x = REAL(FN32(0x1.833886p123), FN64(0x1.833886948640cp123), FN80(0x1.833886948640b888p123), FN128(0x1.833886948640b888f0233699b4a8p123)), .y = REAL(FN32(0x1.5974cep6), FN64(0x1.5974ce3fb69b7p6), FN80(0x1.5974ce3fb69b731p6), FN128(0x1.5974ce3fb69b730f1e3b38a90845p6)) },
{ .x = REAL(FN32(0x1.226a64p124), FN64(0x1.226a64ef64b09p124), FN80(0x1.226a64ef64b08a66p124), FN128(0x1.226a64ef64b08a66b41a68f3477ep124)), .y = REAL(FN32(0x1.5b14p6), FN64(0x1.5b14007e8294fp6), FN80(0x1.5b14007e8294f7cep6), FN128(0x1.5b14007e8294f7ce49a4100ffc4bp6)) },
{ .x = REAL(FN32(0x1.b39f98p124), FN64(0x1.b39f97671708dp124), FN80(0x1.b39f97671708cf9ap124), FN128(0x1.b39f97671708cf9a0e279d6ceb3dp124)), .y = REAL(FN32(0x1.5cb332p6), FN64(0x1.5cb332bd4e8e8p6), FN80(0x1.5cb332bd4e8e7c8ep6), FN128(0x1.5cb332bd4e8e7c8d750ce776f05p6)) },
{ .x = REAL(FN32(0x1.46b7b2p125), FN64(0x1.46b7b18d5146ap125), FN80(0x1.46b7b18d51469bb4p125), FN128(0x1.46b7b18d51469bb38a9db611b06dp125)), .y = REAL(FN32(0x1.5e5264p6), FN64(0x1.5e5264fc1a88p6), FN80(0x1.5e5264fc1a88014cp6), FN128(0x1.5e5264fc1a88014ca075bedde455p6)) },
{ .x = REAL(FN32(0x1.ea138ap125), FN64(0x1.ea138a53f9e9fp125), FN80(0x1.ea138a53f9e9e98ep125), FN128(0x1.ea138a53f9e9e98d4fec911a88a4p125)), .y = REAL(FN32(0x1.5ff198p6), FN64(0x1.5ff1973ae6818p6), FN80(0x1.5ff1973ae681860cp6), FN128(0x1.5ff1973ae681860bcbde9644d85ap6)) },
/*
 * SPDX-License-Identifier: BSD-3-Clause
 *
 * Copyright © 2025 Keith Packard
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 *
 * 2. Redistributions in binary form must reproduce the above
 *    copyright notice, this list of conditions and the following
 *    disclaimer in the documentation and/or other materials provided
 *    with the distribution.
 *
 * 3. Neither the name of the copyright holder nor the names of its
 *    contributors may be used to endorse or promote products derived
 *    from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */
